COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00004 ENDMK
C⊗;
.require "let.pub[let,jmc]" source;
∂CSL Professor Jim Daniel↓Department of Mathematics↓University of Texas
↓Austin Texas 78712∞

.((512 471 3361))

Dear Professor Daniel:

	Although I have never followed the research in computer
theorem proving in detail, everyone in AI knows that Woody Bledsoe
has been the moving spirit in applying computer theorem proving
to classical domains of mathematics.  I am sure this hasn't been
easy, and many researchers have taken the easier path of adapting
the problems to which they apply
 their programs to the methods they have invented rather
than developing methods appropriate to real mathematics.
Therefore, I think Bledsoe's work has been the most important
in computer theorem proving.

	I have no hesitation in supporting his nomination for
a named chair.

.sgn